labeled transition system造句

例句与造句

1. Most of the verification algorithms in CADP are based on the labeled transition systems ( or, simply, automata or graphs ) model, which consists of a set of states, an initial state, and a transition relation between states.
2. It's difficult to find labeled transition system in a sentence. 用labeled transition system造句挺难的